منابع مشابه
Secrecy logic: S -secrecy structures
Let S = 〈L, S〉 be a deductive system. An S -secrecy logic is a quadruple K = 〈FmL(V ),K,B, S〉 , where FmL(V ) is the algebra of L-formulas, K,B are S -theories, with B ⊆ K and S ⊆ K such that S ∩ B = ∅ . K corresponds to information deducible from a knowledge base, B to information deducible from the publicly accessible (or browsable) part of the knowledge base and S is a secret set, a set of s...
متن کاملSecrecy-Preserving Reasoning using Secrecy Envelopes
Inmany applications of networked information systems, the need to share information often has to be balanced against the need to protect secret information from unintended disclosure, e.g., due to copyright, privacy, security, or commercial considerations. We study the problem of secrecy-preserving reasoning, that is, answering queries using secret information, whenever it is possible to do so,...
متن کاملSpectacle and Secrecy: Press Coverage of Conjoined Twins in 1950s Britain
In the early 1950s, when the National Health Service (NHS) was still in its infancy, the British public was gripped by news reports of two attempts at the surgical separation of conjoined twins. The first operation involved one-year-old twin girls from Kano, Nigeria. The twins were xiphopagus (joined at the lower sternum) and shared a liver, separation was attempted at London’s Hammersmith Hosp...
متن کاملGeorge VOUTSADAKIS SECRECY LOGIC : PROTOALGEBRAIC S - SECRECY LOGICS
A b s t r a c t. In recent work the notion of a secrecy logicS over a given deductive system S was introduced. Secrecy logics capture the essential features of structures that are used in performing secrecy-preserving reasoning in practical applications. More precisely, they model knowledge bases that consist of information, part of which is considered known to the user and part of which is to ...
متن کاملSecrecy versus patenting
We develop an equilibrium search model of innovation with the possibility of multiple independent discovery. We distinguish innovations from ideas, and we view patents as probabilistic property rights that are constrained by the innovators’ option to keep the innovation secret. We find that the patent system can simultaneously stimulate innovation, information disclosure and welfare. An optimal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Internet Mathematics
سال: 2013
ISSN: 1542-7951,1944-9488
DOI: 10.1080/15427951.2012.673333